Computations in quantum mechanics made easy

Quantum programming made easy

We introduce the functional language IQu (“Haiku”) which, under the paradigm “quantum data & classical control” and in accordance with the model QRAM, allows to define and manipulate quantum circuits also by means of intermediate and partial measurement. Idealized Algol is the reference for the design of IQu. We extend the type system of Idealized Algol for typing both quantum-registers, i.e. t...

Six Sigma Simplified: Quantum Improvement Made Easy

Spend your few moment to read a book even only few pages. Reading book is not obligation and force for everybody. When you don't want to read, you can get punishment from the publisher. Read a book becomes a choice of your different characteristics. Many people with reading habit will always be enjoyable to read, or on the contrary. For some reasons, this six sigma simplified quantum improvemen...

Quantum Mechanics Made Simple: Lecture Notes

Quantum mechanics (or quantum physics) is an important intellectual achievement of the 20th century. It is one of the more sophisticated fields in physics that has affected our understanding of nano-meter length scale systems important for chemistry, materials, optics, electronics, and quantum information. The existence of orbitals and energy levels in atoms can only be explained by quantum mec...

Atom Bomb Made Easy

Concurrent Programming Made Easy

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of “markers” denoting the processes points of interest; and (b...